Automatic option initialization

We have seen that several Point options can be changed interactively. The default settings of these options are built into Point, but you can change them every time Point is loaded by specifying the default you prefer in an initialization file called pt.ini.